AUTOMAKE_OPTIONS = foreign
SUBDIRS          = src/model src/parser src/index src/saturation src/hierarchy src/utils src/reasoner src/hashing src/preprocessing \
	src/test src 
DISTCLEANFILES   = config.log config.status Makefile libtool make.out
